Skip to content

Remove editor bootstrap #804

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Apr 8, 2025
Merged

Remove editor bootstrap #804

merged 1 commit into from
Apr 8, 2025

Conversation

CedNaru
Copy link
Member

@CedNaru CedNaru commented Apr 6, 2025

We worked on removing dependency of the editor on the bootstrap.jar little by little over the months.
It's time to say goodbye to it.

From now on, only a single bootstrap will be generated at the same time as the main.jar

@CedNaru CedNaru requested review from chippmann and piiertho April 6, 2025 20:18
@CedNaru CedNaru force-pushed the feature/remove-editor-bootstrap branch from 12165b1 to 48699e8 Compare April 7, 2025 09:29
@CedNaru CedNaru marked this pull request as ready for review April 7, 2025 12:39
chippmann
chippmann previously approved these changes Apr 8, 2025
@CedNaru CedNaru force-pushed the feature/remove-editor-bootstrap branch from 48699e8 to bfe0d07 Compare April 8, 2025 21:01
@CedNaru CedNaru merged commit 89a6b1e into master Apr 8, 2025
11 of 37 checks passed
@CedNaru CedNaru deleted the feature/remove-editor-bootstrap branch April 8, 2025 21:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants